C/C++程序的控制流混淆技术研究

【摘要】随着计算机技术的不断发展,计算机软件系统已经深入渗透到实际生活中的各个领域,若这些软件一旦遭受攻击,将给人类带来不可承受的损失。近年来,代码混淆技术作为软件保护的重要手段之一受到国内外研究者的重视。代码混淆技术是通过代码的混淆转换,增加程序静态分析与动态分析难度,从而阻止攻击者顺利实施逆向工程以提取程序的核心代码。现有的代码混淆技术主要包括词法混淆、数据混淆、控制流混淆和预防混淆等。其中,控制流混淆是最为有效且重要的一项代码混淆技术。本文在对当前主流的控制流混淆技术分析后发现,一方面,目前的控制流混淆方法都不能有效抵御切片攻击；另一方面,现有的控制流压缩技术不能有效保护派遣变量(控制流压缩后决定程序执行顺序的next变量)。基于控制流混淆的这两个问题,本文研究工作如下：1、针对程序切片攻击,本文提出了一种基于程序切片的控制流混淆技术。基于C/C++源程序的控制流分析,该技术通过计算程序的静态切片及冗余切片,对程序中需要保护的敏感信息片段进行变量编码、增加循环变量等混淆操作,增强程序的数据依赖关系,提高控制流程的复杂度,从而确保程序能有效抵御程序切片攻击。通过实验对基于程序切片的控制流混淆技术进行了正确性、混淆强度、耐受性的验证以及性能开销的分析。2、针对控制流压缩算法存在的缺陷,提出一种基于伪别名的控制流压缩算法。首先利用数组伪别名算法加密控制流压缩中的派遣变量(控制流压缩后决定代码块执行顺序的next变量),再根据C/C++指针的特性,提出了指针伪别名的不透明谓词构造算法,对控制流压缩后每个case语句中的控制块进行谓词插入,以对抗反汇编工具的攻击,使得攻击者无法重构控制流。在此基础上,用N皇后回溯算法对改进的控制流压缩技术进行了实验验证,并对其混淆性能进行了评价与分析。
【作者】王志月；
【导师】吴伟民；
【作者基本信息】广东工业大学，计算机应用技术，2014，硕士
【关键词】代码混淆；程序切片；控制流压缩；不透明谓词；

【参考文献】
[1]范乘余.犯罪侦查心理痕迹模型构建的基础研究[D].西南政法大学,侦查学,2012,硕士.
[2]郑华生,牛燕,孙王敏,张秀君.新型国际地球物理公司业务新模式探讨[J].石油地球物理勘探,2009,04:515-519+528+386.
[3]吉洛青.《在延安文艺座谈会上的讲话》对文艺作品的影响研究[D].太原科技大学,思想政治教育,2013,硕士.
[4]张嵛,刘连庆,席宁,王越超,董再励.基于原子力显微镜的石墨烯可控裁剪方法研究[J].中国科学:物理学力学天文学,2012,04:358-368.
[5]陈霞.信息技术与《烹饪营养与卫生》课程整合的教学设计研究[D].内蒙古师范大学,现代教育技术（专业学位）,2012,硕士.
[6]袁保山.再论单件小批生产运用控制图和计算工序能力指数的理论探讨和实用价值[J].发电设备.1990(06)
[7]闫志梅.超声触诊组织定量技术联合灰度值对桥本甲状腺炎的诊断价值[D].青岛大学,人体解剖与组织胚胎学,2012,硕士.
[8]吴瑜瑜.甘肃超细毛羊胎儿发育中后期毛囊形态发生中Wnt10b、β-catenin及FGF18基因表达研究[D].甘肃农业大学,发育生物学,2013,硕士.
[9]高巧丽.我国税收优先权制度研究[D].中南民族大学,法律（专业学位）,2013,硕士.
[10]张文芳.门限签名方案的设计与分析[D].西南交通大学,2007.
[11]胡耀东.基于CAN总线在线编程系统的研究[D].华中科技大学,电气工程,2013,硕士.
[12]王晓.制造企业所得税负担影响因素的实证研究[D].哈尔滨工业大学,会计学,2013,硕士.
[13]张蕾蕾.疯草内生真菌-Undifilum oxytropis合成苦马豆素的研究[D].宁夏大学,临床兽医学,2014,硕士.
[14]曹鹏华.物化法处理西安江村沟垃圾填埋场垃圾渗滤液的试验研究[D].西安工程大学,环境工程,2012,硕士.
[15]王琦.基于五种功能纳米材料的电化学传感器的构置及其应用[D].西北大学,2011.
[16]李青.网络社会中高校师生关系的异化与重构[D].西南大学,教育学原理,2014,硕士.
[17]沈丹.辽宁省体育训练中心绿化工程项目成本管理研究[D].吉林大学,工业工程,2013,硕士.
[18]惠卫华.美国研究型大学本科生科研现状及发展趋势研究[D].河北师范大学,教育学原理,2012,硕士.
[19]张侠.无线Mesh网络环境下基于网络编码的机会路由技术研究[D].安徽大学,计算机技术,2013,硕士.
[20]孟令国.开滦矿区炼焦煤特性及煤质变化趋势预测的研究[D].北京化工大学,化学工程（专业学位）,2013,硕士.
[21]BasharatAli.5-氨基乙酰丙酸缓解镉胁迫下油菜植株生长、生理、分子和超微结构变化的作用机理研究[D].浙江大学,CropScience,2014,博士.
[22]邹志宇,戴博雅,刘忠范.石墨烯的化学气相沉积生长与过程工程学研究[J].中国科学:化学,2013,01:1-17.
[23]高飞,王晖.一种关联规则挖掘的优化算法[J].深圳大学学报,2003,02:22-28.
[24]高翔,王勇.数据融合技术综述[J].计算机自动测量与控制,2002,11:706-709.
[25]刘恩科,赵秉强,李秀英,姜瑞波,李燕婷,HwatBingSo.长期施肥对土壤微生物量及土壤酶活性的影响[J].植物生态学报,2008,01:176-182.
[26]陈晓燕.潍坊市机动车修理业治安管理系统的设计与实现[D].山东大学,软件工程（专业学位）,2013,硕士.
[27]刘娥.草幼鱼对氨氮胁迫的形态及生理学响应[D].山东大学,环境科学与工程,2013,硕士.
[28]乔静雅.郑州市民办基础教育发展问题研究[D].郑州大学,教育经济与管理,2013,硕士.
[29]郭悦.膦杂吡唑与金属锡、铅配合物的合成及表征[D].山西师范大学,化学,2013,硕士.
[30]代艳丽.论军工文化在军工类高校的育人功能[D].中南大学,马克思主义理论,2013,博士.
[31]汪晨.我国儿童电视成人化现象研究[D].江西财经大学,广播电视艺术学,2013,硕士.
[32]李苗.通道侗族村落建筑风貌的保护与传承研究[D].湖南大学,建筑设计及其理论,2011,硕士.
[33]黄国顺a,曾凡智b,文翰a.基于条件概率的粗糙集不确定性度量[J].控制与决策.
[34]侯恩科,吴立新,李建民,吴育华,董荣泉,邓智毅,刘宏军.三维地学模拟与数值模拟的耦合方法研究[J].煤炭学报,2002,04:388-392.
[35]王杉,庄钊文,王建新,魏急波.抗干扰自组网路由中定向波束的调度及性能研究[J].自动化学报,2007,07:775-777.
[36]陈志伟.移动式压力容器介质晃动数值模拟及防波装置研究[D].浙江大学,2006.
[37]吴晓佳.《生经》动词核心词研究[D].华中师范大学,汉语言文字学,2014,硕士.
[38]陈丹.基于HJ-1A星HSI高光谱数据的植被分类研究[D].南京农业大学,土壤学,2012,硕士.
[39]李文彪,潘士先.一个两级迭代体视匹配算法[J].自动化学报,1992,04:464-469.
[40]杨琦.如何应对受害人补偿需要对刑事司法的不当干扰[D].吉林大学,法律,2014,硕士.
[41]胡建国,陈敏.卫生执法监督信息管理平台的构建研究[J].医学信息,2005,12:1621-1623.
[42]刘巍.宁启铁路既有线提速路桥过渡段控制标准研究和勘察评价[D].华东交通大学,道路与铁道工程,2013,硕士.
[43]于海涛.青岛市建筑工程质量“六化”监管模式研究[D].河北经贸大学,工商管理,2014,硕士.
[44]李承佑.近三十年来中医治疗原发性肾病综合征处方用药规律的初步探讨[D].北京中医药大学,方剂学,2013,硕士.
[45]有祥武,荣莉,马庆云,柴天佑.时序脉冲燃烧控制系统在北台厂退火炉上的应用[J].冶金自动化,1999,06:24-28.
[46]高霞.寒冷地区CRTSⅢ型板式无砟轨道力学特性研究[D].北京交通大学,2014.
[47]栗红.我国民办高等教育若干问题研究[D].大连理工大学,高等教育学,2004,硕士.
[48]韩正之,刘建华,郑毅,张钟俊.非线性控制系统的特性（Ⅲ）[J].控制与决策,1994,06:471-478.
[49]孙益武.过境货物相关知识产权执法研究[D].复旦大学,国际法,2013,博士.
[50]张玉梅.微流控芯片葡萄糖电化学检测系统集成方法研究[D].东北大学,分析化学,2009,硕士.